	function debug(text) {
		$("#debug").append("<span>" + text + "</span><br />");
	};
	
	function search_element(a, arr) {
		for (var j = 0; j < arr.length; j++) {
			if (arr[j] == a) {
				return j;
			}
		}
		return -1;
	};
	
	function delete_element(a, arr) {
		index = search_element(a, arr);
		if (delete arr[index]) {
			return arr;
		} else {
			return false;
		}
	};